Introducing Grades in Deontic Logics
نویسندگان
چکیده
In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deontic logic (SDL) formulas. Given a deontic formula Φ ∈ SDL, our language contains formulas of the form r → NΦ or r → PΦ, where r ∈ [0, 1], expressing that the preference or probability degree respectively of a norm Φ is at least r. We present sound and complete axiomatisations for these logics.
منابع مشابه
Introducing Exclusion Logic as a Deontic Logic
This paper introduces Exclusion Logic a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.
متن کاملProhairetic Deontic Logic (PDL)
In this paper we introduce Prohairetic Deontic Logic (PDL), a preference-based dyadic deontic logic. An obligation`should be (done) if is (done)' is true if (1) no :^ state is as preferable as an ^ state and (2) the preferred states are states. We show that the diierent elements of this mixed representation solve diierent problems of deontic logic. The rst part of the deenition is used to forma...
متن کاملEquivalence of defeasible normative systems
Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programmin...
متن کاملAn ASPIC-based legal argumentation framework for deontic reasoning
In the last years, argumentation theory has been exploited to reason about norms, argue about enforced obligations and permissions, and establish the validity of norms seen as argumentative claims. In this paper, we start from the dynamic legal argumentation framework recently proposed by Prakken and Sartor, and we extend their ASPIC-based system by introducing deontic modalities, to include al...
متن کاملAutomated Deduction for Deontic Logics: Laying the Foundations of Legal Expert Systems
ABSTRACT: Deontic logic can be used to formalise legal rules. The automation of reasoning in deontic logic can therefore be used as the basis of a legal expert system. In this paper we investigate the automation of deontic logic using tableau calculi for modal logics. The correspondance between the deontic and modal logics is outlined and the tableau for the modal logics used in the prover are ...
متن کامل